Static versus dynamic analysis